Javascript is currently not supported, or is disabled by this browser. Please enable Javascript for full functionality.

Skip to Main Content
    Columbia Campus
   
 
  Oct 16, 2024
 
2014-2015 Graduate Studies Bulletin 
  
  Bulletin Home
   The University|
   The Graduate School|
   Graduate Admissions|
   Degree Requirements|
   Academic Regulations|
   Financial Aid and Scholarships
   Academic Calendar
   Programs A-Z
   Programs by College/School
   Colleges/Schools
   Departments/Program Areas
   Bulletin Archives|
   Fees and Refunds|
   Course Descriptions
HELP
2014-2015 Graduate Studies Bulletin [Archived Catalog]

Print-Friendly Page (opens a new window)

CSCE 730 - Programming Language Semantics|

Credits: 3

Approaches for specifying programming language semantics, including operational, axiomatic, and denotational specification.

Prerequisites: CSCE 531



 Back to Top | Print-Friendly Page (opens a new window)
   
All bulletins © 2024 Columbia Campus.
Powered by the Acalog™ Academic Catalog Management System™ (ACMS™).